\begin{tabbing}
REF, NoConds
\\[0ex]using ${\it parms}$
\\[0ex]let \$t = let \$br = \=i\=f \$w1:${\it cond}_{1}$ then\+\+
\\[0ex]${\it case}_{1}$
\-\\[0ex]elseif \$w2:${\it cond}_{2}$ then  ${\it case}_{2}$else ${\it otherwise}$ in ${\it context}$ in ${\it tac}$
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=UsingBranch (${\it parms}$) ([`\$br'] ,${\it context}$) [${\it cond}_{1}$, [`\$w1'],${\it case}_{1}$ ; ${\it cond}_{2}$, [`\$w2'],${\it case}_{2}$\+
\\[0ex]] (${\it otherwise}$)  ($\backslash$\$t. ${\it tac}$  )
\-
\end{tabbing}